package edu.gatech.cc.concolic.expression;



public abstract class NEG extends UnaryOperator {

	public NEG(SymbolicExpression expression) {
		super(expression);
	}

	@Override
	public String toString() {
		return String.format("(-%s)", expression);
	}

}
